logic for dummies